621. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(

622. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer software- Verification,Computer software- Quality control,UML (Computer science)

رده :
QA76
.
76
.
V47
,
U53
2005

623. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(

رده :
QA
76
.
76
.
V47
U53

624. Verification and validation for quality of UML 2.0 models [electronic resource]

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)

موضوع: Computer software--Verification,Computer software--Quality control,UML (Computer science)

رده :
EB
,
QA76
.
76
.
V47U53
2005

625. Verified software :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
76
.
V47

626. Virtual Environments and Scientific Visualization '96 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
T385
.
E358
1996

627. Why and how audits must change :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Auditing, Analytical review.,Auditing.,Auditing, Analytical review.,Auditing, Analytical review.,Auditing.,Auditing.,BUSINESS & ECONOMICS-- Auditing.

رده :
HF5667
.
H677
2003eb

628. Wireless and mobile networking :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Mobile communication systems, Congresses.,Wireless communication systems, Congresses.,Informatique.,Mobile communication systems.,Wireless communication systems.

رده :
TK5103
.
2
.
I35
2008

629. Work Activity Studies Within the Framework of Ergonomics, Psychology, and Economics.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Work design.,Self-Regulation Models.,Sensory-Perceptual Process.,SSAT.,Systemic-Structural Activity Theory.,Task Performance.,TECHNOLOGY & ENGINEERING-- Quality Control.,Time Study.,Work design.

630. Writing solid code :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: C (Computer program language),Computer software-- Development.,C (Computer program language),C (Computer program language),C (programmeertaal),Computer software-- Development.,Computer software-- Development.

رده :
QA76
.
73
.
C15
M335
1993

631. Your code as a crime scene :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer architecture,Computer programming-- Management,Computer software-- Quality control,Forensic sciences

رده :
QA76
.
76
.
Q35

632. Z6620

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

633. based software-Testing and quality assurance for component

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Quality control. ; Computer software ; Testing. ;

634. ]cigre papers[

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Electric power systems-addresses, essays, lectures

635. driven testing-Model

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Testing. ; UML (Computer science) ; Computer software ; Quality control. ;

636. 0203931254 (ebook)

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

637. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

638. software inspections

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)

موضوع: Computer software, Quality control

رده :
QA76
.
76
.
Q35R32
2003

639. xi, 306 p. :

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

640. xiv, 237 p. :

پدیدآورنده:

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)